منابع مشابه
Antimirov and Mosses's Rewrite System Revisited
Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. They argued that this method could lead to a better average-case algorithm than those based on the comparison of the equivalent minimal deterministic finite automata. In this paper we present a functional approach to that method, prove its correctness, and give some experimental co...
متن کاملReply to Fries et al . and Valentin
TO THE EDITOR—We thank Fries et al [1] and Valentin et al [2] for their comments about our study [3] and for providing their data. Although their results did not control for confounders, their experience adds to previous work showing that consultation with an infectious diseases specialist improves the management and prognosis of Staphylococcus aureus bacteremia (SAB), as reviewed in our articl...
متن کاملAbsinthe, epileptic seizures and Valentin Magnan.
Absinthe is an alcoholic liquor containing extracts from the wormwood plant. It was widely consumed in France in the late nineteenth century. Its production was banned in 1915, partly because it was thought to cause neurological disturbances, including mental changes and epileptic seizures. Modern knowledge of an acceptable content of the convulsant alpha-thujone in absinthe has allowed the lif...
متن کاملA Unified Construction of the Glushkov, Follow, and Antimirov Automata
A number of different techniques have been introduced in the last few decades to create -free automata representing regular expressions such as the Glushkov automata, follow automata, or Antimirov automata. This paper presents a simple and unified view of all these construction methods both for unweighted and weighted regular expressions. It describes simpler algorithms with time complexities a...
متن کاملSecond International Valentin Turchin Memorial Workshop on Metacomputation in
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems notable by its absence: Where are the programs? We introduce a model of computation that is evidently programmable, by programs reminiscent of low-level computer machine code; and at the same time biologically plausible: ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)90119-x